En Elixir, nous abandonnons le modèle impératif de modification d'état au profit d'une approche basée sur les flux où les programmes sont des transformations discrètes, transformations pures. Au lieu de dire à l'ordinateur comment de modifier une valeur, nous définissons une chaîne de fonctions où Le développement devrait consister à transformer des données.

1. L'obligation d'immutabilité

En Elixir, toutes les valeurs sont immuables. Une fois les données créées, elles ne peuvent pas être modifiées. Cela garantit que Les données immuables sont des données connues—les informations ne changeront jamais inopinément, éliminant ainsi de vastes catégories d'erreurs liées à l'état. Cette transformation ne modifie jamais les données ; au contraire, chaque fonction crée une nouvelle version fraîche des données.

2. La philosophie du pipe

L'opérateur pipe (|>) traite les données comme un fluide circulant dans une chaîne de fabrication. Un langage de programmation fonctionnel nous permet de penser en termes de fonctions qui transforment les données étape par étape.

3. Le contexte des acteurs

Dans la machine virtuelle Erlang (BEAM), le code s'exécute dans petits processus concurrents, chacun ayant son propre état. Les processus communiquent entre eux par messages. Comme la communication se fait par passage de messages, l'échange de données entre différentes machines sur un réseau est géré de manière transparente par la VM.